翻訳と辞書 Words near each other ・ Base Exchange ・ Base excision repair ・ Base fee ・ Base Feeder ・ Base flow ・ Base flow (random dynamical systems) ・ Base FX ・ Base General Bernardo O'Higgins Riquelme ・ Base isolation ・ Base J ・ Base Jumpers ・ BASE jumping ・ Base level ・ Base Line, Little Rock ・ Base load power plant ・ Base locus ・ Base metal ・ Base modifying agent ・ Base Mérimée ・ Base of fire ・ Base of lung ・ Base of skull ・ Base of the sacrum ・ Base oil ・ Base on balls ・ Base One Foundation Component Library ・ Base One International ・ Base pair ・ Base period ・ Base period price Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Base locus ： ウィキペディア英語版 Base locus (詳細はmathematics, specifically algebraic geometry, the base locus of a linear system of divisors on a variety refers to the subvariety of points 'common' to all divisors in the linear system. Geometrically, this corresponds to the common intersection of the varieties. == Definition == More precisely, suppose that $()$ is a linear system of divisors on some variety $X$. Consider the intersection : $\backslash textrm\; \backslash \; (())\; :=\; \backslash bigcap\_\; \backslash textrm\; \backslash \; D\_\backslash text\; \backslash$ where $\backslash textrm$ denotes the support of a divisor, and the intersection is taken over all effective divisors $D\_\backslash text$ in the linear system. This is the base locus of $()$ (as a set, at least: there may be more subtle scheme-theoretic considerations as to what the structure sheaf of $\backslash textrm$ should be). One application of the notion of base locus is to nefness of a Cartier divisor class (i.e. complete linear system). Suppose $()$ is such a class on a variety $X$, and $C$ an irreducible curve on $X$. If $C$ is not contained in the base locus of $()$, then there exists some divisor $\backslash tilde\; D$ in the class which does not contain $C$, and so intersects it properly. Basic facts from intersection theory then tell us that we must have $()\; \backslash cdot\; C\; \backslash geq\; 0$. The conclusion is that to check nefness of a divisor class, it suffices to compute the intersection number with curves contained in the base locus of the class. So, roughly speaking, the 'smaller' the base locus, the 'more likely' it is that the class is nef. In the modern formulation of algebraic geometry, a linear system $()$ of (Cartier) divisors on a variety $X$ is viewed as a line bundle $L\_$on $X$. From this viewpoint, the base locus $\backslash textrm\; \backslash \; (())$ is the set of common zeroes of all sections of $L\_$. A simple consequence is that the bundle is globally generated if and only if the base locus is empty. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Base locus」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.